An Interface for Abstracting Execution | P0058R1

نویسندگان

  • Jared Hoberock
  • Michael Garland
  • Olivier Giroux
  • Hartmut Kaiser
چکیده

The algorithms and execution policies specified by the Parallelism TS are designed to permit implementation on the broadest range of platforms. In addition to preemptive thread pools common on some platforms, implementations of these algorithms may want to take advantage of a number of mechanisms for parallel execution, including cooperative fibers, GPU threads, and SIMD vector units, among others. A suitable abstraction encapsulating the details of how work is created across such diverse platforms would be of significant value to parallel algorithm implementations. Furthermore, other constructs that expose parallelism to the programmer—including async and task_block—would benefit from a common abstraction for launching work. We believe that a suitably defined executor interface provides just such a facility.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abstracting Path Conditions for Effective Symbolic Execution

ing Path Conditions for Effective Symbolic Execution Marek Trt́ık [email protected]

متن کامل

Enterprise: current status and future directions

Software development costs for parallel programs can be considerably higher than for sequential software. There are a variety of reasons for this, but two of the major ones are the programming model and the execution environment. Most parallel programming models are very different from sequential ones, so there is strong resistance to change. In most parallel programming systems, the user must ...

متن کامل

Formal Verification of VLIW Microprocessors with Speculative Execution

This is a study of the formal verification of a VLIW microprocessor that imitates the Intel Itanium [9][12][17] in features such as predicated execution, register remapping, advanced and speculative loads, and branch prediction. The formal verification is done with the Burch and Dill flushing technique [5] by exploiting the properties of Positive Equality [3][4]. The contributions include an ex...

متن کامل

Stack Architectures and Protocols for Emerging Wireless Networks

Recent devices developed for emerging wireless networks, such as 4G cellular networks, wireless mesh networks, and mobile ad hoc networks, support multiple communication substrates and require execution of multiple protocols within a layer, which cannot be supported efficiently by traditional layered protocol stack approaches. Our goal in this thesis is to discover the minimal set of requiremen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016